scrap:自然変換の計算法 DOTN二号
自然変換の計算法 DOTN二号 - 檜山正幸のキマイラ飼育記 (はてなBlog)
cripped at 2019/08/21 15:45
#檜山正幸のキマイラ飼育記
#圏論の記法